David Bryant Mumford (born 11 June 1937) is an American mathematician known for his work in algebraic geometry and then for research into computer vision and pattern theory. He won the Fields Medal and was a MacArthur Fellow. In 2010 he was awarded the National Medal of Science. He is currently a University Professor Emeritus in the Division of Applied Mathematics at Brown University.
Life
Mumford was born in Worth, West Sussex in
England, of an English father and American mother. His father William Bryant Mumford (born 1900) was educated at Manchester Grammar School and took the Mathematical Tripos at St John's College, Cambridge;
as his mother Edith Emily Read had done at
Girton College.
He started an experimental school in the colonial Tanganyika Territory and at the time of his death in 1951 worked in the United Nations Department of Public Information.
He married in 1933 Grace Schiott of Southport, Connecticut, and the couple had five children.
Mumford first went to Unquowa School. He attended Phillips Exeter Academy, where he received a Westinghouse Science Talent Search prize for his relay-based computer project.["Autobiography of David Mumford", The Shaw Prize, 2006][David B. Mumford, "How a Computer Works", Radio-Electronics, February 1955, p. 58, 59, 60] Mumford then went to Harvard University, where he became a student of Oscar Zariski. At Harvard, he became a Putnam Fellow in 1955 and 1956. He completed his PhD in 1961, with a thesis entitled Existence of the moduli scheme for curves of any genus.
After a career at Harvard, Mumford moved to Brown University in 1996, concentrating on applied mathematics.
Research
Algebraic geometry
Mumford's work in geometry combined traditional geometric insights with contemporary algebraic techniques.
Moduli spaces
Mumford published on
, with a theory summed up in his book
Geometric Invariant Theory.
At the International Congress of Mathematicians in 1974, John Tate said:
Mumford's major work has been a tremendously successful multi-pronged attack on problems of the existence and structure of varieties of moduli, that is, varieties whose points parametrize isomorphism classes of some type of geometric object.
The moduli space of curves of a given genus
g was already considered in complex algebraic geometry during the 19th century. When
g = 1 the number of moduli is 1 also, the term coming from the
elliptic modulus function of the theory of Jacobi elliptic functions.
Bernhard Riemann contributed the formula, when
g ≥ 2, for the number of moduli, namely 3
g−3, a consequence, in deformation theory, of the Riemann-Roch theorem.
The theory of abstract varieties, as Mumford showed, can be applied to provide an existence theorem for moduli spaces of curves, over any algebraically closed field. It therefore answers the question of in what sense there is a geometric object, with an algebraic definition, that parametrizes algebraic curves, so generalizing the , having the predicted dimension. In a summary provided by Jean Dieudonné, making use of scheme theory, the steps are:
-
Construction of a certain closed subscheme H of the Hilbert scheme of the projective space of dimension n over the ring of integers.
-
Construction of an "orbit scheme" M of the projective linear group PGLn acting on H. This step relies on the more tractable theory of moduli of abelian varieties.
In the introduction to his 1965 book Geometric Invariant Theory, Mumford described the construction of "moduli schemes of various types of objects" as essentially "a special and highly non-trivial case" of the problem "when does an orbit space of an algebraic scheme acted on by an algebraic group exist?". For this area, see algebraic invariant theory. David Gieseker later distinguished, for step #2, going via Torelli's theorem, which was Mumford's original method, and the alternative approach via the Chow point of a curve C, in its projective canonical embedding, which proves the stability of this point.
The concept of stable vector bundle from moduli theory has been consequential in mathematical physics: "This is a mathematical notion of stability, but it also corresponds to physical stability, at least in a regime in which quantum corrections are small."
Moduli stacks
Before the mathematical concept of stack had been defined, Mumford gave a detailed treatment of the moduli stack of elliptic curves, in his paper
Picard Groups of Moduli Problems. In it, he made a calculation of (the analogue of) the stack's
Picard group.
Hartshorne wrote that, in the paper, Mumford
... makes the point that to investigate the more subtle properties of curves, the coarse moduli space may not carry enough information, and so one should really work with stacks.
Classification of surfaces
In three papers written between 1969 and 1976 (the last two in collaboration with
Enrico Bombieri), Mumford extended the Enriques–Kodaira classification of smooth projective surfaces from the case of the complex
ground field to the case of an algebraically closed ground field of characteristic
p. The four classes are:
-
Kodaira dimension minus infinity. These are the .
-
Kodaira dimension 0. These are the K3 surfaces, , hyperelliptic and quasi-hyperelliptic surfaces, and . There are classical and non-classical examples in the last two Kodaira dimension zero cases.
-
Kodaira dimension 1. These are the elliptic and quasi-elliptic surfaces not contained in the last two groups.
-
Kodaira dimension 2. These are the surfaces of general type.
Explicit equations and algebraic techniques
Mumford wrote on an algebraic approach to the classical theory of
, the theta representation, showing that its algebraic content was large, with resulting finite analogues of the
Heisenberg group.
This work on the equations defining abelian varieties appeared in 1966–7. He also is one of the founders of the
Toric geometry theory, the geometric approach to varieties defined by
.
With
Dave Bayer he published a paper "What can be computed in algebraic geometry?" in 1993 on computation and algebraic geometry, in which Gröbner basis techniques are fundamental.
The concept of Castelnuovo–Mumford regularity has been employed as a complexity measure for Gröbner bases.
Vision
In a paper published in 1989, Mumford and Jayant Shah showed that a numerical method could tackle image segmentation, using what became known as the Mumford–Shah functional. In the
Handbook of Mathematical Methods in Imaging (2011) the functional was called "classical", and the method described as an energy minimization approach allowing optimal computation for piecewise function solutions.
Another assessment in 2024 was "a foundational approach for partitioning an image into meaningful regions while preserving edges."
Following work of Shimon Ullman who brought in variational methods, and Berthold K.P. Horn, Mumford in 1992 addressed the amodal completion problem with concepts from elastica theory. In the 1990s, Song-Chun Zhu at the University of Science and Technology of China, attracted into the field by the book Vision (1982) by David Marr, studied computer science under Mumford.
In 2002, Mumford and Tai Sing Lee proposed a model for the visual cortex, influenced by work on pattern theory by Ulf Grenander. The book chapter "The Evolving Concept of Cortical Hierarchy" from 2023 by Vezoli, Hou and Kennedy states that Mumford's "Bayesian computational approach to cortical hierarchy was revolutionary". The 2023 book by Zhu and Wu, Computer Vision: Statistical Models for Marr's Paradigm, in its Preface lists as "pioneers of vision" Béla Julesz and King-Sun Fu, with Grenander, Maar and Mumford.
Promulgation of the ideas of Alexander Grothendieck
In 1962 Mumford was appointed an assistant professor at Harvard.
He decided to give a lecture course on a topic in the area of curves on an algebraic surface, to illustrate the importance of the innovative approach in algebraic geometry of Alexander Grothendieck, based at
IHES near Paris.
The class notes of this course, given 1963–4, were published in 1966 as
Lectures on Curves on an Algebraic Surface, and in the Introduction Mumford wrote that the goal was to give an exposition of a "
corollary" in Bourbaki seminar #221 given by Grothendieck in early 1961,
Techniques de construction et théorèmes d'existence en géométrie algébrique. IV : Les schémas de Hilbert, in the
TDTE series. It related to a vexed question in the legacy of the Italian school of algebraic geometry, called the "completeness of the characteristic system" of a suitable algebraic system of curves. The issue was of a possible "pathology", and the burden of the course was to show that a necessary and sufficient condition for the validity of the theorem was now available.
In parallel,
Robin Hartshorne was leading a seminar at Harvard, "Residues and Duality", on
coherent duality in Grothendieck's
derived category setting, in which Mumford, Tate, Stephen Lichtenbaum and others participated.
The Red Book
Mumford's lecture notes on
scheme theory circulated for years in unpublished form. A geometric motivation for the theory brought forward by Mumford was "
infinitesimals well adapted to algebraic and geometric structures."
In 1979 in the
Bulletin of the American Mathematical Society a reviewer wrote of this work that it "initiated a generation of students to the subject when nothing else was available."
At the time, they were, beside the treatise
Éléments de géométrie algébrique, the only accessible introduction.
Starting in 1967, the notes were mimeographed, bound in red cardboard, and distributed by Harvard's mathematics department under the title Introduction to Algebraic Geometry (Preliminary version of first 3 Chapters). Later (1988; 1999, 2nd ed., ), they were published by Springer under the Lecture Notes in Mathematics series as The Red Book of Varieties and Schemes. In an introduction to the 1988 edition, Mumford wrote
... Grothendieck came along and turned a confused world of researchers upside down, overwhelming them with the new terminology of schemes as well as with a huge production of new and very exciting results. These notes attempted to show something that was still very controversial at that time: that schemes really were the most natural language for algebraic geometry ...
Grothendieck's relative point of view
In
Lectures on Curves on an Algebraic Surface, Mumford wrote "by far the most important categorical notion for algebraic geometry is that of
fibre product."
[ Lectures on Curves on an Algebraic Surface, p.21.] Lectures 3 and 4 (with its Appendix on the Zariski tangent space) were a concise introduction to the circle of ideas, based on scheme theory (the book uses the older terminology of pre-schemes) known as Grothendieck's relative point of view, with geometric illustrations. The representable functor point of view is central: Mumford illustrates it by citing contemporary research: Brown's representability theorem in
homotopy theory, where representable functors are clearly distinguished; Tate's rigid analytic spaces;
Jaap Murre's work on functors to the category of groups; and Teruhisa Matsusaka's theory of Q-varieties as an extension of the functors considered.
[ Lectures on Curves on an Algebraic Surface, p.18.]
Grothendieck made a case for the "representable functor" approach to replace the universal object conceptualization then prevalent in category theory. For moduli spaces, the classical idea of a "universal family of curves" would therefore be modified to a functor "of curves", with a proof that it was representable. The satisfactory picture from homotopy theory, of a universal bundle with base space a classifying space that represents bundles does not, however, apply directly to moduli. Hence the distinction between a "coarse moduli space", via its a universal object, and a fine moduli space which represents a functor of all parametrized families of curves. The latter is in line with the "relative point of view". In Geometric Invariant Theory Mumford laid out the issues for moduli theory, stating that currently "one knows very few ways in which to pose a plausible fine moduli problem." He went on to state that in technical terms the fine moduli problem was not "essentially harder", given "descent machinery", a reference to the role play.[ Geometric Invariant Theory, pp. 96–97.]
This background explains why faithfully flat descent is introduced in Lecture 4 of Lectures on Curves on an Algebraic Surface: as a necessary condition for representability of a functor. Mumford names the representability issue for schemes "Grothendieck's existence problem", a nod to Riemann's existence theorem and to Grothendieck's existence theorem for . Mumford's remark about fibre products may be unpacked in later terms of Grothendieck fibrations and descent theory. He went much further into the relative theory, in defining "modular families" of curves via Grothendieck topologies, in Picard Groups of Moduli Problems.[ Picard Groups of Moduli Problems, p. 52.]
The lacuna of the mid-1960s theory in terms of sufficient conditions for representability of functors, as would apply to moduli problems, was filled through work of Michael Artin and others by 1969. There were two sides to this advance. (1) Further innovation in the foundations came with (more general than schemes but more restricted than Matsusaka's Q-varieties or Mumford's stacks). Algebraic spaces allow more quotients by equivalence relations than schemes. (2) This definition was combined with a thorough use of algebraic infinitesimal techniques around (commutative and local ring). See Artin's criterion, formal moduli, Schlessinger's theorem.[Michael Artin, Algebraization of formal moduli. I, Global Analysis (Papers in Honor of K. Kodaira), Princeton Univ. Press, Princeton, N.J., 1969, pp. 21-71. MR0260746 (41:5369)]
Awards and honors
Mumford was awarded a
Fields Medal in 1974. He was a
MacArthur Fellow from 1987 to 1992. He won the
Shaw Prize in 2006. In 2007 he was awarded the
Steele Prize for Mathematical Exposition by the American Mathematical Society. In 2008 he was awarded the
Wolf Prize;
on receiving the prize in Jerusalem from
Shimon Peres, Mumford announced that he was donating half of the prize money to Birzeit University in the Palestinian territories and half to Gisha, an Israeli human rights organization.
In 2010 he was awarded the National Medal of Science.
In 2012 he became a fellow of the American Mathematical Society.
[ List of Fellows of the American Mathematical Society, retrieved 2013-02-10.]
Further awards and honors include:
-
Elected to the National Academy of Sciences in 1975.
[
]
-
Honorary Fellow from Tata Institute of Fundamental Research in 1978.
[
]
-
Honorary D.Sc. from the University of Warwick in 1983.
[
]
-
Foreign Member of Accademia Nazionale dei Lincei, Rome, in 1991.
[
]
-
Honorary Member of London Mathematical Society in 1995.
[
]
-
Elected to the American Philosophical Society in 1997.
-
Honorary D.Sc. from Norwegian University of Science and Technology in 2000.
[ NTNU's list of honorary doctors]
-
Honorary D.Sc. from Rockefeller University in 2001.
[
]
-
Longuet-Higgins Prize in 2005 and 2009.
-
Honorary Doctorate from Chennai Mathematical Institute in 2008.
-
Foreign Member of The Royal Society in 2008.
[
]
-
Foreign Member of the Norwegian Academy of Science and Letters.
-
Honorary Doctorate from Brown University in 2011.
-
2012 BBVA Foundation Frontiers of Knowledge Award in the Basic Sciences category (jointly with Ingrid Daubechies).
Mumford was elected President of the International Mathematical Union in 1995 and served from 1995 to 1999.[
]
Books
Mumford's books Abelian Varieties (with C. P. Ramanujam) and Curves on an Algebraic Surface combined the old and new theories.
-
Lectures on Curves on Algebraic Surfaces (with George Bergman), Princeton University Press, 1964.
-
Geometric Invariant Theory, Springer-Verlag, 1965 – 2nd edition, with J. Fogarty, 1982; 3rd enlarged edition, with F. Kirwan and J. Fogarty, 1994.
-
Harvard lecture notes: Introduction To Algebraic Geometry (Preliminary Version Of First 3 Chapters)
-
Abelian Varieties, Oxford University Press, 1st edition 1970; 2nd edition 1974.
-
Six Appendices to Algebraic Surfaces by Oscar Zariski – 2nd edition, Springer-Verlag, 1971.
-
Toroidal Embeddings I (with G. Kempf, F. Knudsen and B. Saint-Donat), Lecture Notes in Mathematics #339, Springer-Verlag 1973.
-
Curves and their Jacobians , University of Michigan Press, 1975.
-
Smooth Compactification of Locally Symmetric Varieties (with A. Ash, M. Rapoport and Y. Tai, Math. Sci. Press, 1975)
-
Algebraic Geometry I: Complex Projective Varieties, Springer-Verlag New York, 1975.
-
Tata Lectures on Theta (with C. Musili, M. Nori, P. Norman, Emma Previato and M. Stillman), Birkhäuser-Boston, Part I 1982, Part II 1983, Part III 1991.
-
Filtering, Segmentation and Depth (with M. Nitzberg and T. Shiota), Lecture Notes in Computer Science #662, 1993.
-
Two and Three Dimensional Pattern of the Face (with P. Giblin, G. Gordon, P. Hallinan and A. Yuille), AKPeters, 1999.
-
-
Selected Papers on the Classification of Varieties and Moduli Spaces, Springer-Verlag, 2004.
See also
-
Mumford's compactness theorem
-
Haboush's theorem
-
Hilbert–Mumford criterion
-
Stable mapping class group
-
Mumford-Tate group
-
Mumford measure
-
Mumford vanishing theorem
-
Manin–Mumford conjecture
-
Horrocks–Mumford bundle
-
Deligne–Mumford moduli space of stable curves
-
Algebraic stack
-
Moduli scheme
-
Prym variety
-
Stable maps
Notes
External links